Automated Modeling of Real-Time Implementation

Automated Modeling of Real-Time Implementation

This paper describes ongoing work on the automatic construction of formal models from Real-Time implementations. The model construction is based on measurements of the timed behavior of the threads of an implementation, their causal interaction patterns and external visible events. A specification of the timed behavior is modeled in timed automata and checked against the generated model in orde...

Automated Implementation Ofdistributed Real - Time Systems Usingreal - Time Object - Oriented

This paper presents a systematic, schedulability-aware method for automated implementation of complex distributed real-time control systems designed with real-time object-oriented models. Our approach derives tasks in each node of a distributed system by grouping mutually exclusive transactions. It then assigns each task a feasible priority and preemption threshold. To allow for the automated a...

Visual Attention: From Bio-Inspired Modeling to Real-Time Implementation

V isual attention is the ability of a vision system, be it biological or artificial, to rapidly select the most salient and thus the most relevant data about the environment in which the system is operating. The main goal of this visual mechanism is to drastically reduce the amount of visual information that must be processed by high level and thus complex tasks, such as object recognition, whi...

Feasibility Study of Real-time and Automated Monitoring of Iranian Rivers using 50-kHz Fluvial Acoustic Tomography System

Acoustic Tomography (AT) technique is an innovative method for real-time river monitoring. In this study, not only the accuracy of flow velocity measurement using 50 kHz AT system which is appropriate for narrow rivers (most Iranian rivers) is evaluated, but also its performance is compared with 30 kHz one which is used in wide rivers. The comparison results showed that the velocity resolutions...

Real - Time Implementation